Liên kết ngoài Triết

Liên kết ngoài Triết_học

Triết học tại Từ điển bách khoa Việt Nam

Bài viết này sử dụng liên kết ngoài có thể không tuân theo chính sách hoặc nguyên tắc của Wikipedia. Xin hãy giúp cải thiện bài này bằng cách xóa bỏ các liên kết bên ngoài quá mức cho phép hoặc không phù hợp và chuyển đổi các liên kết hữu ích khi thích hợp thành tài liệu tham khảo.

Triết học ánh sáng trên Từ điển bách khoa Việt Nam
Chuyên đề triết học
EpistemeLinks.com: philosophy resources on the internet
Erratic Impact: The Philosophy Research Base
Guide to Philosophy on the Internet
Introducing Philosophy Series by Paul Newall, aimed at beginners.
Introduction to Philosophy (abridgement of other sources)
Melbourne Philosophy: Philosophy in Melbourne, Australia (noncommercial, variety of resources, wiki)
Philosophy around the Web
Philosophy @ large, A webguide for the philosophy community provided by Liverpool University
PhilosophyArchive.com: philosophy e-texts
Philosophy in Cyberspace
Philosophical Society.com
Routledge Encyclopedia of Philosophy - Signpost articles free, others require subscription
Stanford Encyclopedia of Philosophy
The Internet Encyclopedia of Philosophy
Cultural And Ethinicity In Philosophy A sampling of philosophies in certain geographical areas. Warning: some links are not updated.

Diễn đàn

Seekers of Truth Forums—A place to discuss philosophies of religion, and other such topics.
Philosophy Forums—a place to discuss Philosophy with a discursive library on Philosophical topics.
I Love Philosophy
Talk Philosophy—A place to discuss topics in all areas of philosophy from ethics to aesthetics.
The Academy—a place to discuss philosophy from basic to advanced levels, with a library of introductory essays for beginners.
PhiloWiki—the Internet's first online Wiki for the development of multiple points of view on a range of philosophical topics.
Groves of Academe—A discussion board covering Philosophy, Logic/Mathematics, Culture, Literature, The Arts, and Technology.
Blueskyboris' Love Of Wisdom Debates Ongoing debate on the veracity of the words of the greats.

Tổ chức

Chủ đề Triết học

x t s Nhân văn học
Lịch sử Ngôn ngữ Luật pháp Văn học Nghệ thuật biểu diễn Chính trị Triết học Tôn giáo Nghệ thuật trực quan

Bản mẫu:Triết học

Logic

Tổng quan

Lĩnh vực giáo dục

• Argumentation theory

• Axiology • Tư duy phản biện • Lý thuyết tính toán • Formal semantics • Lịch sử logic • Informal logic • Logic in computer science • Logic toán • Toán học • Metalogic • Metamathematics • Model theory • Logic triết học • Triết học • Philosophy of logic • Triết học của toán học • Proof theory

• Lý thuyết tập hợp

Nền tảng

• Abduction

• Analytic truth • Antinomy • Tiên nghiệm • Suy diễn logic • Định nghĩa • Description • Lập luận quy nạp • Suy luận • Logical form • Logical consequence • Logical truth • Tên gọi • Necessity • Meaning • Nghịch lý • Possible world • Presupposition • Xác suất • Lý tính • Lý tínhing • Tham khảo • Ngữ nghĩa học • Statement • Strict implication • Substitution • Syntax • Chân lý • Truth value

• Validity

Lý luận triết học

Tư duy phản biện Informal logic	• Analysis • Ambiguity • Luận cứ • Tín ngưỡng • Thiên kiến • Credibility • Evidence • Explanation • Explanatory power • Sự thật • Ngụy biện • Inquiry • Ý kiến • Dao cạo Ockham • Premise • Tuyên truyền • Prudence • Lý tính • Relevance • Tu từ học • Rigor • Vagueness
Lý luận triết học	• Constructivism • Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng • Chủ nghĩa duy thực

• Định lý đường chéo Cantor

• Church's theorem • Church's thesis • Consistency • Effective method • Foundations of mathematics • Gödel's completeness theorem • Gödel's incompleteness theorems • Soundness • Completeness • Decidability • Interpretation • Löwenheim–Skolem theorem • Metatheorem • Satisfiability • Independence • Type–token distinction

• Use–mention distinction

Logic toán

General	• Ngôn ngữ hình thức • Formation rule • Formal system • Deductive system • Formal proof • Formal semantics • Well-formed formula • Tập hợp • Element • Class • Classical logic • Tiên đề • Natural deduction • Rule of inference • Quan hệ (toán học) • Định lý toán học • Logical consequence • Axiomatic system • Type theory • Symbol • Syntax • Theory
Thuật ngữ lý luận học	• Mệnh đề toán học • Inference • Luận cứ logic • Validity • Cogency • Tam đoạn luận • Square of opposition • Sơ đồ Venn
Propositional calculus Đại số Boole	• Boolean functions • Propositional calculus • Propositional formula • Logical connectives • Truth tables
Predicate logic	• First-order • Quantifiers • Predicate • Second-order • Monadic predicate calculus
Lý thuyết tập hợp	• Tập hợp • Tập hợp rỗng • Enumeration • Extensionality • Finite set • Hàm số • Tập hợp con • Tập lũy thừa • Tập hợp đếm được • Recursive set • Tập xác định • Range • Ordered pair • Uncountable set
Lý thuyết mô hình	• Model • Interpretation • Non-standard model • Finite model theory • Truth value • Validity
Lý thuyết chứng minh	• Formal proof • Deductive system • Formal system • Định lý toán học • Logical consequence • Rule of inference • Syntax
Computability theory	• Recursion • Recursive set • Recursively enumerable set • Decision problem • Church–Turing thesis • Computable function • Primitive recursive function

Lý luận học phi cổ điển

Modal logic	• Alethic • Axiologic • Deontic • Doxastic • Epistemic • Temporal
Intuitionism	• Intuitionistic logic • Constructive analysis • Heyting arithmetic • Intuitionistic type theory • Constructive set theory
Logic mờ	• Degree of truth • Fuzzy rule • Tập mờ • Fuzzy finite element • Fuzzy set operations
Substructural logic	• Structural rule • Relevance logic • Linear logic
Paraconsistent logic	• Dialetheism
Logic mô tả	• Bản thể luận • Ontology language

Danh sách các nhà lý luận học

• Anderson

• Aristoteles • Averroes • Avicenna • Bain • Barwise • Bernays • George Boole • Boolos • Georg Cantor • Carnap • Church • Chrysippus • Curry • De Morgan • Gottlob Frege • Geach • Gentzen • Kurt Gödel • David Hilbert • Kleene • Kripke • Gottfried Leibniz • Löwenheim • Giuseppe Peano • Charles Sanders Peirce • Hilary Putnam • Quine • Bertrand Russell • Schröder • John Duns Scotus • Skolem • Smullyan • Tarski • Alan Turing • Whitehead • William xứ Ockham • Ludwig Wittgenstein

• Zermelo

Danh sách

Chủ đề	• Index of logic articles • Mathematical logic • Boolean algebra • Set theory
Other	• Logicians • Rules of inference • Paradoxes • Fallacies • Logic symbols

Common logical symbols
& ∨ ¬ ~ → ⊃ ≡ \| ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

• Portal

• Thể loại • Outline • WikiProject • Talk

changes

Tiêu đề chuẩn	LCCN: sh85100849 GND: 4045791-6 BNF: cb119368422 (data) NDL: 00572945 NKC: ph114540 BNE: XX525257